step(al,bs,tm(zk,[ctxm(zeta_,u,ip,ip_al_3,ip_al_3),ctxm(zeta_,sp,ip,ip_bs,ip_bs)],pri(zk,[ctxm(zeta_,u,kM,kM_al,kM_al),pri(pk,[ctxm(zeta_,u,kM,kM_al,kM_al)]),ctxm(zeta_,dot,n_z_a,ss(zeta_,in_z_a),ss(zeta_,cn_z_a)),ctxm(zeta_,dot,n_z_b,ss(zeta_,in_z_b),ss(zeta_,cn_z_b))]))).
